(format t "Hello world!")
